Teaching Formal Methods, Interactive Learning, Mathematical Education, Verification Training, Beginner Proofs
Dialogic Pedagogy for Large Language Models: Aligning Conversational AI with Proven Theories of Learning
arxiv.org·10h
Counting with Categories (Part 3)
golem.ph.utexas.edu·22h
Proficient Python: Course Overview
proficientpython.com·5h
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
Proving that every program halts
ntietz.com·2d
A very short book note
logicmatters.net·4d
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
Double Maths First Thing: Issue 2A
aperiodical.com·6h
Loading...Loading more...